* Makefile.in (bootstrap): Set MAKEFILE_NAME when building Makefile,
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 23 Sep 2012 09:18:24 +0000 (02:18 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 23 Sep 2012 09:18:24 +0000 (02:18 -0700)
commitbf0e6472d3da4cdfae5395e858d14a6bbe0e4e77
treef95b1b07ccd37245dc649e30d4a11d239f809a22
parent18f548b766cbf362f4fea768c84bc8f1001aea87
* Makefile.in (bootstrap): Set MAKEFILE_NAME when building Makefile,

to avoid problems with recursion when using GNU make.
ChangeLog
Makefile.in